STM: ecl wf

ABS: eclbase(k;test)

STM: eclbase wf

ABS: eclseq(a;b)

STM: eclseq wf

ABS: ecland(a;b)

STM: ecland wf

ABS: eclor(a;b)

STM: eclor wf

ABS: [a]*

STM: eclrepeat wf

ABS: a.n

STM: eclact wf

ABS: eclthrow(a;n)

STM: eclthrow wf

ABS: eclcatch(a;l)

STM: eclcatch wf

ABS: ecl ind

STM: ecl ind wf

STM: ecl-induction

ABS: ecl ind eclbase compseq tag def

ABS: ecl ind eclseq compseq tag def

ABS: ecl ind ecland compseq tag def

ABS: ecl ind eclor compseq tag def

ABS: ecl ind eclrepeat compseq tag def

ABS: ecl ind eclact compseq tag def

ABS: ecl ind eclthrow compseq tag def

ABS: ecl ind eclcatch compseq tag def

ABS: eclbase?(x)

STM: eclbase? wf

ABS: eclbase-k(x)

STM: eclbase-k wf

ABS: eclbase-test(x)

STM: eclbase-test wf

ABS: eclseq?(x)

STM: eclseq? wf

ABS: eclseq-a(x)

STM: eclseq-a wf

ABS: eclseq-b(x)

STM: eclseq-b wf

ABS: ecland?(x)

STM: ecland? wf

ABS: ecland-a(x)

STM: ecland-a wf

ABS: ecland-b(x)

STM: ecland-b wf

ABS: eclor?(x)

STM: eclor? wf

ABS: eclor-a(x)

STM: eclor-a wf

ABS: eclor-b(x)

STM: eclor-b wf

ABS: eclrepeat?(x)

STM: eclrepeat? wf

ABS: eclrepeat-a(x)

STM: eclrepeat-a wf

ABS: eclact?(x)

STM: eclact? wf

ABS: eclact-a(x)

STM: eclact-a wf

ABS: eclact-n(x)

STM: eclact-n wf

ABS: eclthrow?(x)

STM: eclthrow? wf

ABS: eclthrow-a(x)

STM: eclthrow-a wf

ABS: eclthrow-n(x)

STM: eclthrow-n wf

ABS: eclcatch?(x)

STM: eclcatch? wf

ABS: eclcatch-a(x)

STM: eclcatch-a wf

ABS: eclcatch-l(x)

STM: eclcatch-l wf